;;; Upper CYC(R) Ontology flat-file
;;; Copyright Cycorp 1997. All rights reserved.
;;;Cycorp License Agreement
;;;Cycorp is providing this material from the Cyc(tm) Upper
;;;Ontology at no charge, for everyone to use, including
;;;commercial service use and incorporation into products.
;;;However, it is not 'Public Domain.' Please acknowledge
;;;Cycorp, 3721 Executive Center Dr., Austin, TX 78731 in
;;;any use or citation of this material, and request that each
;;;further user include a full copy of this notice as well,
;;;in any use or citation they make of the material. All
;;;these terms equally apply to renamings and other
;;;logically equivalent reformulations of the material in
;;;any natural or formal language. Cycorp intends to
;;;amend and expand the material from time to time; the
;;;latest version is available at http://www.cyc.com
;;; (#$LowAmountFn #$Elasticity)
(#$isa
(#$LowAmountFn #$Elasticity) #$Elasticity)
(#$isa
(#$LowAmountFn #$Elasticity) #$ScalarInterval)
(#$comment
(#$LowAmountFn #$Elasticity) "re-expands somewhat after compression, but not all the way back")
;;; (#$LowAmountFn #$Hardness)
(#$isa
(#$LowAmountFn #$Hardness) #$Hardness)
(#$isa
(#$LowAmountFn #$Hardness) #$ScalarInterval)
;;; (#$TransportViaFn #$Truck)
(#$isa
(#$TransportViaFn #$Truck) #$ScriptType)
(#$isa
(#$TransportViaFn #$Truck) #$TemporalStuffType)
(#$genls
(#$TransportViaFn #$Truck) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Truck)
(#$TransportViaFn #$Truck))
(#$genls
(#$TransportViaFn #$Truck)
(#$TransportViaFn #$TransportationDevice-Vehicle))
(#$genls
(#$TransportViaFn #$Truck)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$Truck)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$Truck)
(#$TransportViaFn #$RoadVehicle))
;;; (#$ThePartition #$NonPersonAnimal #$Person)
(#$isa
(#$ThePartition #$NonPersonAnimal #$Person) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$NonPersonAnimal #$Person) #$Set-Mathematical)
;;; (#$VeryHighAmountFn #$BioDeteriorationResistance)
(#$isa
(#$VeryHighAmountFn #$BioDeteriorationResistance) #$BioDeteriorationResistance)
(#$isa
(#$VeryHighAmountFn #$BioDeteriorationResistance) #$ScalarInterval)
;;; (#$TheCovering #$GainingUserRights #$LosingUserRights)
(#$isa
(#$TheCovering #$GainingUserRights #$LosingUserRights) #$Set-Mathematical)
;;; (#$HighAmountFn #$Malleability)
(#$isa
(#$HighAmountFn #$Malleability) #$Malleability)
(#$isa
(#$HighAmountFn #$Malleability) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") #$Thing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SUBJECT-MATTER")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SUBJECT-MATTER") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SUBJECT-MATTER") #$Thing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "DECOMPOSABLE-OBJECT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "DECOMPOSABLE-OBJECT") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "DECOMPOSABLE-OBJECT") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "DECOMPOSABLE-OBJECT") #$Thing)
;;; (#$VeryLowAmountFn #$Flammability)
(#$isa
(#$VeryLowAmountFn #$Flammability) #$Flammability)
(#$isa
(#$VeryLowAmountFn #$Flammability) #$ScalarInterval)
;;; (#$MediumAmountFn #$Rigidity)
(#$isa
(#$MediumAmountFn #$Rigidity) #$ScalarInterval)
(#$isa
(#$MediumAmountFn #$Rigidity) #$Rigidity)
;;; (#$ThePartition #$Dusk #$Dawn)
(#$isa
(#$ThePartition #$Dusk #$Dawn) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$Dusk #$Dawn) #$Set-Mathematical)
;;; (#$NoAmountFn #$Ductility)
(#$isa
(#$NoAmountFn #$Ductility) #$Ductility)
(#$isa
(#$NoAmountFn #$Ductility) #$ScalarInterval)
;;; (#$LowAmountFn #$Visibility)
(#$isa
(#$LowAmountFn #$Visibility) #$Visibility)
(#$isa
(#$LowAmountFn #$Visibility) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT") #$Individual)
;;; (#$GovernmentFn #$Country)
(#$isa
(#$GovernmentFn #$Country)
(#$GroupFn #$IntelligentAgent))
(#$isa
(#$GovernmentFn #$Country) #$RegionalGovernment)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERING-RELATION")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERING-RELATION") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERING-RELATION") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERING-RELATION") #$BinaryPredicate)
;;; (#$ThePartition #$Intangible #$PartiallyTangible)
(#$isa
(#$ThePartition #$Intangible #$PartiallyTangible) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$Intangible #$PartiallyTangible) #$Set-Mathematical)
;;; (#$NoAmountFn #$Rigidity)
(#$isa
(#$NoAmountFn #$Rigidity) #$Rigidity)
(#$isa
(#$NoAmountFn #$Rigidity) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SEPARABLE-ENTITY")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SEPARABLE-ENTITY") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SEPARABLE-ENTITY") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "SEPARABLE-ENTITY") #$SomethingExisting)
;;; (#$TransportViaFn #$Bus-RoadVehicle)
(#$isa
(#$TransportViaFn #$Bus-RoadVehicle) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$Bus-RoadVehicle) #$ScriptType)
(#$genls
(#$TransportViaFn #$Bus-RoadVehicle) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Bus-RoadVehicle)
(#$TransportViaFn #$Bus-RoadVehicle))
(#$genls
(#$TransportViaFn #$Bus-RoadVehicle)
(#$TransportViaFn #$TransportationDevice-Vehicle))
(#$genls
(#$TransportViaFn #$Bus-RoadVehicle)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$Bus-RoadVehicle)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$Bus-RoadVehicle)
(#$TransportViaFn #$RoadVehicle))
;;; (#$NoAmountFn #$Flammability)
(#$isa
(#$NoAmountFn #$Flammability) #$Flammability)
(#$isa
(#$NoAmountFn #$Flammability) #$ScalarInterval)
;;; (#$MakingFn #$VisualImage)
(#$isa
(#$MakingFn #$VisualImage) #$TemporalObjectType)
(#$isa
(#$MakingFn #$VisualImage) #$ScriptType)
(#$genls
(#$MakingFn #$VisualImage) #$MakingSomething)
;;; (#$TransportViaFn #$Motorcycle)
(#$isa
(#$TransportViaFn #$Motorcycle) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$Motorcycle) #$ScriptType)
(#$genls
(#$TransportViaFn #$Motorcycle) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Motorcycle)
(#$TransportViaFn #$TransportationDevice-Vehicle))
(#$genls
(#$TransportViaFn #$Motorcycle)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$Motorcycle)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$Motorcycle)
(#$TransportViaFn #$Motorcycle))
(#$genls
(#$TransportViaFn #$Motorcycle)
(#$TransportViaFn #$RoadVehicle))
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "AMBIENT-PROCESS")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "AMBIENT-PROCESS") #$ScriptType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "AMBIENT-PROCESS") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "AMBIENT-PROCESS") #$PhysicalEvent)
;;; (#$TheCovering #$Movement-TranslationEvent #$Movement-Rotation)
(#$isa
(#$TheCovering #$Movement-TranslationEvent #$Movement-Rotation) #$Set-Mathematical)
;;; (#$MediumAmountFn #$Flammability)
(#$isa
(#$MediumAmountFn #$Flammability) #$Flammability)
(#$isa
(#$MediumAmountFn #$Flammability) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING") #$IntangibleIndividual)
;;; (#$VeryLowAmountFn #$Hardness)
(#$isa
(#$VeryLowAmountFn #$Hardness) #$Hardness)
(#$isa
(#$VeryLowAmountFn #$Hardness) #$ScalarInterval)
;;; (#$LiquidFn #$Water-Saline)
(#$isa
(#$LiquidFn #$Water-Saline) #$TangibleStuffStateType)
(#$genls
(#$LiquidFn #$Water-Saline) #$Water-Saline)
(#$genls
(#$LiquidFn #$Water-Saline) #$LiquidTangibleThing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SOLID-MATERIAL")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOLID-MATERIAL") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOLID-MATERIAL") #$Thing)
;;; (#$HighAmountFn #$CorrosionResistance)
(#$isa
(#$HighAmountFn #$CorrosionResistance) #$CorrosionResistance)
(#$isa
(#$HighAmountFn #$CorrosionResistance) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING") #$Thing)
;;; (#$VeryHighAmountFn #$TensileStrength)
(#$isa
(#$VeryHighAmountFn #$TensileStrength) #$TensileStrength)
(#$isa
(#$VeryHighAmountFn #$TensileStrength) #$ScalarInterval)
;;; (#$LowAmountFn #$TensileStrength)
(#$isa
(#$LowAmountFn #$TensileStrength) #$TensileStrength)
(#$isa
(#$LowAmountFn #$TensileStrength) #$ScalarInterval)
;;; (#$GroupFn #$IntelligentAgent)
(#$isa
(#$GroupFn #$IntelligentAgent) #$ObjectType)
(#$genls
(#$GroupFn #$IntelligentAgent) #$Group)
(#$genls
(#$GroupFn #$IntelligentAgent) #$SpatialThing)
;;; (#$MobFn #$PrecipitationParticle)
(#$isa
(#$MobFn #$PrecipitationParticle) #$Collection)
(#$isa
(#$MobFn #$PrecipitationParticle) #$ExistingStuffType)
(#$genls
(#$MobFn #$PrecipitationParticle) #$Mob)
;;; (#$SolidFn #$Concrete)
(#$isa
(#$SolidFn #$Concrete) #$TangibleStuffStateType)
(#$genls
(#$SolidFn #$Concrete) #$Concrete)
(#$genls
(#$SolidFn #$Concrete) #$SolidTangibleThing)
;;; (#$GroupFn #$SpatialThing)
(#$isa
(#$GroupFn #$SpatialThing) #$ObjectType)
(#$genls
(#$GroupFn #$SpatialThing) #$SpatialThing)
(#$genls
(#$GroupFn #$SpatialThing) #$Group)
;;; (#$GroupFn #$Currency)
(#$isa
(#$GroupFn #$Currency) #$ObjectType)
(#$genls
(#$GroupFn #$Currency) #$SpatialThing)
(#$genls
(#$GroupFn #$Currency) #$Group)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SENSE-AND-MEASURE-QUALITY")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SENSE-AND-MEASURE-QUALITY") #$AttributeType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SENSE-AND-MEASURE-QUALITY") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "SENSE-AND-MEASURE-QUALITY") #$AttributeValue)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET") #$Thing)
;;; (#$HighAmountFn #$Raininess)
(#$isa
(#$HighAmountFn #$Raininess) #$Raininess)
(#$isa
(#$HighAmountFn #$Raininess) #$ScalarInterval)
(#$genlAttributes
(#$HighAmountFn #$Raininess) #$Rainy)
;;; (#$LowAmountFn #$Malleability)
(#$isa
(#$LowAmountFn #$Malleability) #$Malleability)
(#$isa
(#$LowAmountFn #$Malleability) #$ScalarInterval)
;;; (#$TransportViaFn #$Bicycle)
(#$isa
(#$TransportViaFn #$Bicycle) #$ScriptType)
(#$isa
(#$TransportViaFn #$Bicycle) #$DefaultDisjointScriptType)
(#$isa
(#$TransportViaFn #$Bicycle) #$TemporalStuffType)
(#$genls
(#$TransportViaFn #$Bicycle) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Bicycle)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$Bicycle) #$LocomotionProcess)
(#$genls
(#$TransportViaFn #$Bicycle) #$Exercising)
;;; (#$TransportViaFn #$Automobile)
(#$isa
(#$TransportViaFn #$Automobile) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$Automobile) #$ScriptType)
(#$genls
(#$TransportViaFn #$Automobile) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Automobile)
(#$TransportViaFn #$Automobile))
(#$genls
(#$TransportViaFn #$Automobile)
(#$TransportViaFn #$TransportationDevice-Vehicle))
(#$genls
(#$TransportViaFn #$Automobile)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$Automobile)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$Automobile)
(#$TransportViaFn #$RoadVehicle))
;;; (#$LowAmountFn #$Compressibility)
(#$isa
(#$LowAmountFn #$Compressibility) #$Compressibility)
(#$isa
(#$LowAmountFn #$Compressibility) #$ScalarInterval)
(#$comment
(#$LowAmountFn #$Compressibility) "can be compressed somewhat")
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "TEMPORAL-NONINCLUSIVE")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "TEMPORAL-NONINCLUSIVE") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "TEMPORAL-NONINCLUSIVE") #$Thing)
;;; (#$MediumAmountFn #$Elasticity)
(#$isa
(#$MediumAmountFn #$Elasticity) #$Elasticity)
(#$isa
(#$MediumAmountFn #$Elasticity) #$ScalarInterval)
(#$comment
(#$MediumAmountFn #$Elasticity) "will eventually re-expand after compression")
;;; (#$TransportViaFn #$WaterTransportationDevice)
(#$isa
(#$TransportViaFn #$WaterTransportationDevice) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$WaterTransportationDevice) #$ScriptType)
(#$isa
(#$TransportViaFn #$WaterTransportationDevice) #$DefaultDisjointScriptType)
(#$genls
(#$TransportViaFn #$WaterTransportationDevice) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$WaterTransportationDevice)
(#$TransportViaFn #$WaterTransportationDevice))
(#$genls
(#$TransportViaFn #$WaterTransportationDevice)
(#$TransportViaFn #$TransportationDevice))
(#$comment
(#$TransportViaFn #$WaterTransportationDevice) "A collection of events. An instance of (#$TransportViaFn #$WaterTransportationDevice) is a transportation event in which a #$vehicle designed to float on or travel through water is used. Examples include instances of #$Sailing in boats, #$WaterSkiing, and #$Windsurfing. Note: This collection does not include swimming, which is a #$LocomotionProcess (q.v.), not a form of transportation as defined (intended and axiomatized) in Cyc.")
;;; (#$MediumAmountFn #$Hardness)
(#$isa
(#$MediumAmountFn #$Hardness) #$Hardness)
(#$isa
(#$MediumAmountFn #$Hardness) #$ScalarInterval)
;;; (#$TheCovering #$CreationEvent #$DestructionEvent)
(#$isa
(#$TheCovering #$CreationEvent #$DestructionEvent) #$Set-Mathematical)
;;; (#$GovernmentFn #$Indonesia-TheNation)
(#$isa
(#$GovernmentFn #$Indonesia-TheNation) #$RegionalGovernment)
(#$comment
(#$GovernmentFn #$Indonesia-TheNation) "GOVERNMENT OF INDONESIA")
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT-OF")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT-OF") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT-OF") #$Thing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE-PROPERTY-ASCRIPTION")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE-PROPERTY-ASCRIPTION") #$PhysicalAmountSlot)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE-PROPERTY-ASCRIPTION") #$Thing)
;;; (#$MediumAmountFn #$BioDeteriorationResistance)
(#$isa
(#$MediumAmountFn #$BioDeteriorationResistance) #$BioDeteriorationResistance)
(#$isa
(#$MediumAmountFn #$BioDeteriorationResistance) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSE-EFFECT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSE-EFFECT") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSE-EFFECT") #$Thing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "NAMED-OBJECT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NAMED-OBJECT") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NAMED-OBJECT") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "NAMED-OBJECT") #$SomethingExisting)
;;; (#$ThePartition #$Corner-2d #$Corner-3d)
(#$isa
(#$ThePartition #$Corner-2d #$Corner-3d) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$Corner-2d #$Corner-3d) #$Set-Mathematical)
;;; (#$VeryHighAmountFn #$Fragility)
(#$isa
(#$VeryHighAmountFn #$Fragility) #$Fragility)
(#$isa
(#$VeryHighAmountFn #$Fragility) #$ScalarInterval)
;;; (#$HighAmountFn #$Porosity)
(#$isa
(#$HighAmountFn #$Porosity) #$Porosity)
(#$isa
(#$HighAmountFn #$Porosity) #$ScalarInterval)
;;; (#$STIB (#$YearFn -902))
(#$isa
(#$STIB
(#$YearFn -902)) #$TimeInterval)
;;; (#$NoAmountFn #$Elasticity)
(#$isa
(#$NoAmountFn #$Elasticity) #$Elasticity)
(#$isa
(#$NoAmountFn #$Elasticity) #$ScalarInterval)
(#$comment
(#$NoAmountFn #$Elasticity) "does not re-expand at all after compression")
;;; (#$LowAmountFn #$Fragility)
(#$isa
(#$LowAmountFn #$Fragility) #$Fragility)
(#$isa
(#$LowAmountFn #$Fragility) #$ScalarInterval)
;;; (#$HighAmountFn #$ShearStrength)
(#$isa
(#$HighAmountFn #$ShearStrength) #$ShearStrength)
(#$isa
(#$HighAmountFn #$ShearStrength) #$ScalarInterval)
;;; (#$SolidFn #$EarthStuff)
(#$isa
(#$SolidFn #$EarthStuff) #$TangibleStuffStateType)
(#$genls
(#$SolidFn #$EarthStuff) #$EarthStuff)
(#$genls
(#$SolidFn #$EarthStuff) #$SolidTangibleThing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "DISTANCE")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "DISTANCE") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "DISTANCE") #$Thing)
;;; (#$VeryLowAmountFn #$TensileStrength)
(#$isa
(#$VeryLowAmountFn #$TensileStrength) #$TensileStrength)
(#$isa
(#$VeryLowAmountFn #$TensileStrength) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "TIME-INTERVAL")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "TIME-INTERVAL") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "TIME-INTERVAL") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "TIME-INTERVAL") #$TimeInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "AREA")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "AREA") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "AREA") #$Thing)
;;; (#$TransportViaFn #$Spacecraft)
(#$isa
(#$TransportViaFn #$Spacecraft) #$ScriptType)
(#$isa
(#$TransportViaFn #$Spacecraft) #$DefaultDisjointScriptType)
(#$isa
(#$TransportViaFn #$Spacecraft) #$TemporalStuffType)
(#$genls
(#$TransportViaFn #$Spacecraft) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Spacecraft)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$Spacecraft)
(#$TransportViaFn #$Spacecraft))
(#$comment
(#$TransportViaFn #$Spacecraft) "The collection of all events in which vehicles, manned or unmanned, leave the atmosphere of earth to orbit around it or travel to other regions of the universe.")
;;; (#$TransportViaFn #$LandTransportationDevice)
(#$isa
(#$TransportViaFn #$LandTransportationDevice) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$LandTransportationDevice) #$ScriptType)
(#$isa
(#$TransportViaFn #$LandTransportationDevice) #$DefaultDisjointScriptType)
(#$genls
(#$TransportViaFn #$LandTransportationDevice)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$LandTransportationDevice)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$LandTransportationDevice) #$TransportationEvent)
(#$comment
(#$TransportViaFn #$LandTransportationDevice) "A collection of events. An instance of (#$TransportViaFn #$LandTransportationDevice) is a transportation event in which a #$vehicle designed to travel over land is used. Examples include instances of the collections (#$TransportViaFn #$RoadVehicle), #$SkateBoarding, and #$SnowSkiing. Note: This collection does not include instances of #$AnimalWalkingProcess, which is a #$LocomotionProcess (q.v.), not a form of transportation as defined in Cyc. A marginal example of this would be a (fictional) event in which someone burrowed through the earth in a Jules-Vernesque real-time tunnel-digging machine.")
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "STRIVING")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "STRIVING") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "STRIVING") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "STRIVING") #$IntangibleIndividual)
;;; (#$TransportViaFn #$Ambulance)
(#$isa
(#$TransportViaFn #$Ambulance) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$Ambulance) #$ScriptType)
(#$genls
(#$TransportViaFn #$Ambulance) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Ambulance)
(#$TransportViaFn #$RoadVehicle))
(#$genls
(#$TransportViaFn #$Ambulance)
(#$TransportViaFn #$TransportationDevice-Vehicle))
(#$genls
(#$TransportViaFn #$Ambulance)
(#$TransportViaFn #$LandTransportationDevice))
(#$genls
(#$TransportViaFn #$Ambulance)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$Ambulance)
(#$TransportViaFn #$Ambulance))
(#$genls
(#$TransportViaFn #$Ambulance) #$ServiceEvent)
;;; (#$MobFn #$Mountain)
(#$isa
(#$MobFn #$Mountain) #$Collection)
(#$isa
(#$MobFn #$Mountain) #$ExistingStuffType)
(#$genls
(#$MobFn #$Mountain) #$Mob)
;;; (#$TransportViaFn #$TransportationDevice-Vehicle)
(#$isa
(#$TransportViaFn #$TransportationDevice-Vehicle) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$TransportationDevice-Vehicle) #$ScriptType)
(#$genls
(#$TransportViaFn #$TransportationDevice-Vehicle) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$TransportationDevice-Vehicle)
(#$TransportViaFn #$TransportationDevice))
(#$genls
(#$TransportViaFn #$TransportationDevice-Vehicle)
(#$TransportViaFn #$TransportationDevice-Vehicle))
;;; (#$VeryHighAmountFn #$RelativeHumidity)
(#$isa
(#$VeryHighAmountFn #$RelativeHumidity) #$RelativeHumidity)
(#$isa
(#$VeryHighAmountFn #$RelativeHumidity) #$ScalarInterval)
;;; (#$LowAmountFn #$RelativeHumidity)
(#$isa
(#$LowAmountFn #$RelativeHumidity) #$RelativeHumidity)
(#$isa
(#$LowAmountFn #$RelativeHumidity) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "NONDECOMPOSABLE-OBJECT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NONDECOMPOSABLE-OBJECT") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NONDECOMPOSABLE-OBJECT") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "NONDECOMPOSABLE-OBJECT") #$Individual)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "INTENSIVE")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTENSIVE") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTENSIVE") #$Thing)
;;; (#$VeryHighAmountFn #$CorrosionResistance)
(#$isa
(#$VeryHighAmountFn #$CorrosionResistance) #$CorrosionResistance)
(#$isa
(#$VeryHighAmountFn #$CorrosionResistance) #$ScalarInterval)
;;; (#$ThePartition #$FemalePerson #$MalePerson)
(#$isa
(#$ThePartition #$FemalePerson #$MalePerson) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$FemalePerson #$MalePerson) #$Set-Mathematical)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "GENERALIZED-POSSESSION")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "GENERALIZED-POSSESSION") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "GENERALIZED-POSSESSION") #$Thing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "MISC-STUFF")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "MISC-STUFF") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "MISC-STUFF") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "MISC-STUFF") #$Thing)
;;; (#$VeryLowAmountFn #$Malleability)
(#$isa
(#$VeryLowAmountFn #$Malleability) #$Malleability)
(#$isa
(#$VeryLowAmountFn #$Malleability) #$ScalarInterval)
;;; (#$MediumAmountFn #$TensileStrength)
(#$isa
(#$MediumAmountFn #$TensileStrength) #$TensileStrength)
(#$isa
(#$MediumAmountFn #$TensileStrength) #$ScalarInterval)
;;; (#$ThePartition #$SetOrCollection #$Individual)
(#$isa
(#$ThePartition #$SetOrCollection #$Individual) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$SetOrCollection #$Individual) #$Set-Mathematical)
;;; (#$VeryLowAmountFn #$Fragility)
(#$isa
(#$VeryLowAmountFn #$Fragility) #$Fragility)
(#$isa
(#$VeryLowAmountFn #$Fragility) #$ScalarInterval)
;;; (#$SolidFn #$Glass)
(#$isa
(#$SolidFn #$Glass) #$TangibleStuffStateType)
(#$genls
(#$SolidFn #$Glass) #$Glass)
(#$genls
(#$SolidFn #$Glass) #$SolidTangibleThing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "DIRECTED-ACTION")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "DIRECTED-ACTION") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "DIRECTED-ACTION") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "DIRECTED-ACTION") #$PhysicalEvent)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "CARDINALITY")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "CARDINALITY") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "CARDINALITY") #$Thing)
;;; (#$LowAmountFn #$Raininess)
(#$isa
(#$LowAmountFn #$Raininess) #$Raininess)
(#$isa
(#$LowAmountFn #$Raininess) #$ScalarInterval)
(#$genlAttributes
(#$LowAmountFn #$Raininess) #$Rainy)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS") #$ScriptType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS") #$TemporalStuffType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS") #$Communicating)
;;; (#$HighAmountFn #$Rigidity)
(#$isa
(#$HighAmountFn #$Rigidity) #$Rigidity)
(#$isa
(#$HighAmountFn #$Rigidity) #$ScalarInterval)
;;; (#$MediumAmountFn #$Compressibility)
(#$isa
(#$MediumAmountFn #$Compressibility) #$Compressibility)
(#$isa
(#$MediumAmountFn #$Compressibility) #$ScalarInterval)
(#$comment
(#$MediumAmountFn #$Compressibility) "Can be compressed to less than half its volume")
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "LINEAR-SIZE")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LINEAR-SIZE") #$PhysicalAmountSlot)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LINEAR-SIZE") #$Thing)
(#$arg2Isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LINEAR-SIZE") #$Distance)
;;; (#$TransportFn #$LiquidTangibleThing)
(#$isa
(#$TransportFn #$LiquidTangibleThing) #$ScriptType)
(#$genls
(#$TransportFn #$LiquidTangibleThing) #$TransportingGoods)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SET")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET") #$Thing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE") #$MeasurableAttributeType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE") #$PhysicalAttribute)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT") #$Thing)
;;; (#$NoAmountFn #$Compressibility)
(#$isa
(#$NoAmountFn #$Compressibility) #$Compressibility)
(#$isa
(#$NoAmountFn #$Compressibility) #$ScalarInterval)
(#$comment
(#$NoAmountFn #$Compressibility) "essentially cannot be compressed")
;;; (#$VeryHighAmountFn #$Porosity)
(#$isa
(#$VeryHighAmountFn #$Porosity) #$Porosity)
(#$isa
(#$VeryHighAmountFn #$Porosity) #$ScalarInterval)
;;; (#$LowAmountFn #$Porosity)
(#$isa
(#$LowAmountFn #$Porosity) #$Porosity)
(#$isa
(#$LowAmountFn #$Porosity) #$ScalarInterval)
;;; (#$VeryLowAmountFn #$RelativeHumidity)
(#$isa
(#$VeryLowAmountFn #$RelativeHumidity) #$RelativeHumidity)
(#$isa
(#$VeryLowAmountFn #$RelativeHumidity) #$ScalarInterval)
;;; (#$MediumAmountFn #$Fragility)
(#$isa
(#$MediumAmountFn #$Fragility) #$Fragility)
(#$isa
(#$MediumAmountFn #$Fragility) #$ScalarInterval)
;;; (#$ThePartition #$Translation-Flow #$Translation-Complete)
(#$isa
(#$ThePartition #$Translation-Flow #$Translation-Complete) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$Translation-Flow #$Translation-Complete) #$Set-Mathematical)
;;; (#$LowAmountFn #$ShearStrength)
(#$isa
(#$LowAmountFn #$ShearStrength) #$ShearStrength)
(#$isa
(#$LowAmountFn #$ShearStrength) #$ScalarInterval)
;;; (#$VeryHighAmountFn #$ShearStrength)
(#$isa
(#$VeryHighAmountFn #$ShearStrength) #$ShearStrength)
(#$isa
(#$VeryHighAmountFn #$ShearStrength) #$ScalarInterval)
;;; (#$HighAmountFn #$Flammability)
(#$isa
(#$HighAmountFn #$Flammability) #$Flammability)
(#$isa
(#$HighAmountFn #$Flammability) #$ScalarInterval)
;;; (#$SolidFn #$Metal)
(#$isa
(#$SolidFn #$Metal) #$TangibleStuffStateType)
(#$genls
(#$SolidFn #$Metal) #$Metal)
(#$genls
(#$SolidFn #$Metal) #$SolidTangibleThing)
;;; (#$NoAmountFn #$Malleability)
(#$isa
(#$NoAmountFn #$Malleability) #$Malleability)
(#$isa
(#$NoAmountFn #$Malleability) #$ScalarInterval)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "NON-CONSCIOUS-BEING")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-CONSCIOUS-BEING") #$ExistingObjectType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-CONSCIOUS-BEING") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-CONSCIOUS-BEING") #$PartiallyTangible)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "SOURCE-DESTINATION")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOURCE-DESTINATION") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOURCE-DESTINATION") #$Thing)
;;; (#$TransportFn #$Person)
(#$isa
(#$TransportFn #$Person) #$ScriptType)
(#$genls
(#$TransportFn #$Person) #$TransportingGoods)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") #$Thing)
;;; (#$ThePartition #$Set-Mathematical #$Collection)
(#$isa
(#$ThePartition #$Set-Mathematical #$Collection) #$DisjointSetOrCollection)
(#$isa
(#$ThePartition #$Set-Mathematical #$Collection) #$Set-Mathematical)
;;; (#$WaveEmissionFn #$VisibleLight)
(#$isa
(#$WaveEmissionFn #$VisibleLight) #$ScriptType)
(#$isa
(#$WaveEmissionFn #$VisibleLight) #$TemporalStuffType)
(#$genls
(#$WaveEmissionFn #$VisibleLight) #$EmittingAWave)
(#$comment
(#$WaveEmissionFn #$VisibleLight) "A collection of events; a subset of #$EmittingAWave. Each element of (#$WaveEmissionFn #$VisibleLight) is an event in which an instance of #$VisibleLight is emitted from some #$waveSource. Examples: the burning of a candle; the shining of a light bulb; a firefly's glowing. Almost every instance of (#$WaveEmissionFn #$VisibleLight) will also emit instances of other types of #$ElectromagneticRadiation other than #$VisibleLight.")
;;; (#$TransportViaFn #$Airplane)
(#$isa
(#$TransportViaFn #$Airplane) #$ScriptType)
(#$isa
(#$TransportViaFn #$Airplane) #$DefaultDisjointScriptType)
(#$isa
(#$TransportViaFn #$Airplane) #$TemporalStuffType)
(#$genls
(#$TransportViaFn #$Airplane) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Airplane)
(#$TransportViaFn #$AirTransportationDevice))
(#$genls
(#$TransportViaFn #$Airplane)
(#$TransportViaFn #$TransportationDevice-Vehicle))
(#$comment
(#$TransportViaFn #$Airplane) "Transportation in an #$Airplane. This includes not only flying (moving through the air, with the plane supoorted by the air), but also such events as taxiing, takeoff and landing.")
;;; (#$TransportViaFn #$Animal)
(#$isa
(#$TransportViaFn #$Animal) #$TemporalStuffType)
(#$isa
(#$TransportViaFn #$Animal) #$ScriptType)
(#$genls
(#$TransportViaFn #$Animal) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$Animal) #$PurposefulAction)
(#$comment
(#$TransportViaFn #$Animal) "Transportation in which an animal provides the force for movement. Includes horses and other animals carrying people and objects, people carrying objects and other people, etc.")
;;; (#$GaseousFn #$Water)
(#$isa
(#$GaseousFn #$Water) #$TangibleStuffStateType)
(#$genls
(#$GaseousFn #$Water) #$Water)
(#$genls
(#$GaseousFn #$Water) #$GaseousTangibleThing)
;;; (#$GroupFn #$Event)
(#$isa
(#$GroupFn #$Event) #$ObjectType)
(#$genls
(#$GroupFn #$Event) #$Event)
(#$genls
(#$GroupFn #$Event) #$Group)
;;; (#$TransportViaFn #$TransportationDevice)
(#$isa
(#$TransportViaFn #$TransportationDevice) #$ScriptType)
(#$isa
(#$TransportViaFn #$TransportationDevice) #$TemporalStuffType)
(#$genls
(#$TransportViaFn #$TransportationDevice) #$TransportationEvent)
(#$genls
(#$TransportViaFn #$TransportationDevice) #$HumanActivity)
(#$genls
(#$TransportViaFn #$TransportationDevice) #$Translation-SinglePath)
(#$genls
(#$TransportViaFn #$TransportationDevice)
(#$TransportViaFn #$TransportationDevice))
(#$comment
(#$TransportViaFn #$TransportationDevice) "A collection of events. An instance of (#$TransportViaFn #$TransportationDevice) is a #$TransportationEvent in which the #$transporter is a #$TransportationDevice; e.g., driving a car, riding a train, sending scientific instruments to Mars on an unmanned space probe.")
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION") #$ShapeType)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION") #$GeometricThing)
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "CONTAINED")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "CONTAINED") #$BinaryPredicate)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "CONTAINED") #$Thing)